The Largest Respectful Function
نویسندگان
چکیده
Respectful functions were introduced by Sangiorgi as a compositional tool to formulate short and clear bisimulation proofs. Usually, the larger the respectful function, the easier the bisimulation proof. In particular the largest respectful function, defined as the pointwise union of all respectful functions, has been shown to be very useful. We here provide an explicit and constructive characterization of it.
منابع مشابه
Pregnant Mother’s Respect and Its Associated Factors in mothers hospitalized in Besat Hospital of Sanandaj in 2019
Introduction: Respectful maternity care by health care providers includes three dimensions of quality of care, safety, and observance of maternal rights in order to have a positive childbirth experience for mother. The aim of this study was to determine the status of the pregnant mother's respect and its associated factors in the mothers hospitalized in Besat Hospital of Sanandaj in 2019. Metho...
متن کاملوضعیت رعایت شأن و کرامت بیماران بستری از دیدگاه پرستاران
Abstract Background & Aims: Respect for the human dignity as a moral principle is the professional responsibility of each nurse. Studies indicate the fact that the dignity of patients in care is neglected by healthcare professionals. This study aimed to determine the status of dignity in the hospitalized patients from the perspective of nurses in Iran. Materi...
متن کاملRespect as an engine for new ideas: Linking respectful engagement, relational information processing and creativity among employees and teams
In four studies we examine whether and why respectfully engaging with other organizational members can augment creativity for individuals and teams. We develop and test a model in which respectful engagement among organizational members facilitates relational information processing, which in turn results in enhanced creative behaviors. We found a similar pattern across all four studies – respec...
متن کاملFinding Good Conversations Online: The Yahoo News Annotated Comments Corpus
This work presents a dataset and annotation scheme for the new task of identifying “good” conversations that occur online, which we call ERICs: Engaging, Respectful, and/or Informative Conversations. We develop a taxonomy to reflect features of entire threads and individual comments which we believe contribute to identifying ERICs; code a novel dataset of Yahoo News comment threads (2.4k thread...
متن کاملIt does matter where you come from: mothers’ experiences of childbirth in midwife obstetric units, Tshwane, South Africa
BACKGROUND Health professionals are striving to improve respectful care for women, but they fall short in the domains of effective communication, respectful and dignified care and emotional support during labour. This study aimed to determine women's experiences of childbirth with a view to improving respectful clinical care practices in low-risk, midwife-led obstetric units in the Tshwane Dist...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Logical Methods in Computer Science
دوره 12 شماره
صفحات -
تاریخ انتشار 2016